Issue801.agda:15,1-17,43
Termination checking failed for the following functions:
  lem
Problematic calls:
  lem (suc n)
    (at Issue801.agda:17,31-34)
